<body>
very inefficient implementation of the DPLL algorithm


<br><br>PACKAGE STATE: alpha, its slow and stupid but working
</body>